Intuitionism: An Inspiration?

Intuitionism

Intuitionism and Formalism

The subject for which I am asking your attention deals with the foundations of mathematics. To understand the development of the opposing theories existing in this field one must first gain a clear understanding of the concept “science”; for it is as a part of science that mathematics originally took its place in human thought. By science we mean the systematic cataloguing by means of laws of n...

Anti-intuitionism and paraconsistency

This paper aims to help to elucidate some questions on the duality between the intuitionistic and the paraconsistent paradigms of thought, proposing some new classes of anti-intuitionistic propositional logics and investigating their relationships with the original intuitionistic logics. It is shown here that anti-intuitionistic logics are paraconsistent, and in particular we develop a first an...

Professor Takeshi Matsuura: An Inspiration to Young Membranologists

John Makepeace Bennett - An Inspiration

This volume is a celebration for John Bennett’s 80th birthday. It was written with respect and affection from just a few of the many he has inspired over his long professional career. It also commemorates indirectly, 40 years of the Basser Department of Computer Science at the University of Sydney, of which he was the first Professor and Head.